#!/bin/sh
../../src/run_inet $*
